arm: use gprintk as appropriate
authorIan Campbell <ian.campbell@citrix.com>
Thu, 26 Mar 2015 10:09:31 +0000 (11:09 +0100)
committerJan Beulich <jbeulich@suse.com>
Thu, 26 Mar 2015 10:09:31 +0000 (11:09 +0100)
commit18fb87e980d527a2580ee035052398e91c6d52fb
tree070136dbdc26acb9bfc2be44c1848a8beb9fc516
parent2313478dc93085d2a9bf407d76c34f6bf50e85a8
arm: use gprintk as appropriate

gdprintk is now only included with debug=y builds. Therefore:
 - switch some uses to gprintk
 - remove some now redundant #ifndef NDEBUG surrounding existing
   gdprintk uses.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Reviewed-by: Julien Grall <julien.grall@linaro.org>
xen/arch/arm/decode.c
xen/arch/arm/traps.c
xen/arch/arm/vgic-v3.c
xen/arch/arm/vgic.c
xen/arch/arm/vtimer.c